The Semantics of Equational Logic Programming as an instance of CLP
نویسندگان
چکیده
This work was supported by ESPRIT Basic Research Action P3020 \Integration", by CICYT under grant TIC 91-0425, and by \Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo of C.N.R." under grant n.9100880.PF69 Departamento de Sistemas Inform aticos y Computaci on, Universidad Polit ecnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46020 Valencia, Spain. Dipartimento di Informatica, Universit a di Pisa, Corso Italia 40, 56125 Pisa, Italy We show how functional (i.e. equational) and logic programming can be integrated within the Constraint Logic Programming paradigm. The resulting language CLP( ) is specialized in solving equations with respect to a Horn equational theory . CLP( ) inherits all the semantic properties of the CLP scheme, including a new semantics which models answer constraints. The operational semantics of CLP( ) is de ned by a constraint solver based on conditional narrowing. Several strategies to obtain an incremental constraint solver are considered.
منابع مشابه
Combining Uniication and Built-in Constraints (extended Abstract)
In less than a decade, Deduction with Constraints (DwC) has opened a new universe in computer science. DwC can be viewed from two perspectives: one related to the automated deduction framework 17, 19], the other to the development and usage of programming languages based on logic 7, 14]. Within the automated deduction framework, constraints on the generic data structure \terms" have become a po...
متن کاملCategory-based Semantics for Equational and Constraint Logic Programming
This thesis proposes a general framework for equational logic programming, called catf:gory based equational logic by placing the general principles underlying the design of the pro gramming language Eqlog and formulated by Goguen and Meseguer into an abstract form. This framework generalises equational deduction to an arbitrary category satisfy ing certain natural conditions; completeness i...
متن کاملE E
This work was supported by ESPRIT Basic Research Action P3020 \Integration", by CICYT under grant TIC 91-0425 and by \Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo of C.N.R." under grant n.9100880.PF69 Departamento de Sistemas Inform aticos y Computaci on, Universidad Polit ecnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46020 Valencia, Spain. Dipartimento di Informatica, Un...
متن کاملInvited Talk: Some Issues and Trends in the Semantics of Logic Programming
semantic properties is repeated here. Instead of mapping the intended domain on the Herbrand Universe and using specialized unification, programming is done directly in the intended domain using its natural constraints. We thus use an algebraic framework as well as a logic programming one. This revision of the scheme is called CLP which stands for Constraint Logic Programming. A CLP program con...
متن کاملBreeding Algebraic Structures - An Evolutionary Approach To Inductive Equational Logic Programming
Concept learning is the induction of a description from a set of examples. Inductive logic programming can be considered a special case of the general notion of concept learning specifically referring to the induction of first-order theories. Both concept learning and inductive logic programming can be seen as a search over all possible sentences in some representation language for sentences th...
متن کامل